Graph canonization